Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts  in Russian
Articles classificators
> F >F.3

F.3 Logics and Meanings of Programs

  • F.3.1 Specifying and Verifying and Reasoning about Programs
Keywords
Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts
ISSN 1560-7534
© 2024 FRC ICT